Object type - PDFSEARCH.IO - Document Search Engine

Object type
Results: 830

#	Item
71	Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Data types Object-oriented programming Model theory Polymorphism Subtyping Type system FO Generic programming Functional predicate -recursive function Function
72	Feature-Oriented Programming with Object Algebras Bruno C.d.S. Oliveira1 , Tijs van der Storm2 , Alex Loh3 , William R. Cook3 1 National University of Singapore () Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2013-04-19 04:38:27 Object-oriented programming Type theory Data types Scala Algebra over a field Combinatory logic Factory Subtyping Is-a Polymorphism Von Neumann algebra Type system
73	Printer Sheet - Mathilde copy Add to Reading List Source URL: brinktest.lpl.arizona.edu Language: English - Date: 2016-05-03 15:36:31 Planetary defense OSIRIS-REx Asteroid Near-Earth object 101955 Bennu C-type asteroid NEAR Shoemaker Near-Earth Asteroid Scout Colonization of the asteroids
74	Review: Constructors Initial Questionnaire – The Results Are In! • 56% of all s tudents in CS15 Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-10-01 14:30:09 Object-oriented programming Method Type theory Polymorphism Method overriding Inheritance Is-a Constructor Java Class Type signature
75	Printer Sheet - Kleopatra copy Add to Reading List Source URL: brinktest.lpl.arizona.edu Language: English - Date: 2016-04-27 17:51:04 Planetary defense OSIRIS-REx Asteroid 101955 Bennu Near-Earth object C-type asteroid Colonization of the asteroids Meanings of minor planet names: 129001130000
76	Oh Lord, Please Don’t Let Contracts be Misunderstood, a Variation on Old Gems Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2016-07-01 10:16:31 Object-oriented programming languages Combinatory logic Design by contract Enumerated type Contract Objective-C Scope Eiffel Racket
77	Printer Sheet - Hilda copy Add to Reading List Source URL: brinktest.lpl.arizona.edu Language: English - Date: 2016-03-22 17:20:17 Planetary defense OSIRIS-REx Asteroid Near-Earth object 101955 Bennu C-type asteroid NEAR Shoemaker Near-Earth Asteroid Scout Colonization of the asteroids
78	Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0 Add to Reading List Source URL: kartverket.no Language: English - Date: 2015-07-22 04:38:38 Data types Object-oriented programming Type theory Object Identifier Subtyping Const
79	Advances in Programming Languages APL7: Haskell, Types and Classes Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-31 23:15:57 Type theory Functional languages Object-oriented programming languages Type systems Data types Haskell Structural type system Duck typing D Type signature OCaml Abstract type
80	A Large Scale Study of Programming Languages and Code Quality in Github Baishakhi Ray, Daryl Posnett, Vladimir Filkov, Premkumar T Devanbu {bairay@, dpposnett@, filkov@cs., devanbu@cs.}ucdavis.edu Department of Computer Add to Reading List Source URL: macbeth.cs.ucdavis.edu Language: English - Date: 2014-09-17 02:26:49 Functional languages Scripting languages Object-oriented programming languages Cross-platform software Concurrent programming languages Software bug Computer programming Type system Clojure JavaScript Programming language Scala

UPDATE